p-calculus 相关硕士博士期刊学术论文 - 搜论网

p-calculus相关论文

π-网--一类新型的模块化高级Petri网

π-网是一类新型的模块化的高级Petri网。p-网有机地结合了两类并发模型Petri 网和p-演算,p-网既可称为Petri网中的p-演算,又是p-......

期刊

Π-演算 PETRI网 π-网拟合 π-网的复合规则. Petri net p-calculus p-net gluing composition ru

看过本文同时还关注